RCS "$Id: ParseLogic.sig,v 1.3 1998/08/13 11:38:55 pxs Exp $";
(* At the moment it is assumed that we're parsing the MuCalculus *)
signature PARSE_LOGIC =
sig
   structure L : MU_CALCULUS
   val mkprop : string -> L.prop
(* make a formal param list from the string. *)
   val makePropParamList : string -> L.param list
end

